Nonlinear diffusion: Geodesic Convexity is equivalent to Wasserstein Contraction
نویسندگان
چکیده
It is well known that nonlinear diffusion equations can be interpreted as a gradient flow in the space of probability measures equipped with the Euclidean Wasserstein distance. Under suitable convexity conditions on the nonlinearity, due to R. J. McCann [10], the associated entropy is geodesically convex, which implies a contraction type property between all solutions with respect to this distance. In this note, we give a simple straightforward proof of the equivalence between this contraction type property and this convexity condition, without even resorting to the entropy and the gradient flow structure. We consider the nonlinear diffusion equation ∂ut ∂t = ∆f(ut), t > 0, x ∈ R d (1) where f(r) is an increasing continuous function on r ∈ [0,+∞) and C2 smooth for r > 0 such that f(0) = 0. The well-posedness theory in L1(Rd) for this equation is a classical matter in the nonlinear parabolic PDEs theory developed in the last 40 years, see [14] and the references therein. Following [14, Chap. 9], by a solution we mean a map u = (ut)t≥0 ∈ C([0,∞), L1(Rd)), with ut ≥ 0 and mass ∫ ut(x)dx =M for all t, such that i) for all T > 0, the function ∇(f ◦ ut) ∈ L 2((0, T ) × Rd), ii) u weakly satisfies equation (1), i.e., it satisfies the identity
منابع مشابه
Gradient structures and geodesic convexity for reaction-diffusion systems.
We consider systems of reaction-diffusion equations as gradient systems with respect to an entropy functional and a dissipation metric given in terms of a so-called Onsager operator, which is a sum of a diffusion part of Wasserstein type and a reaction part. We provide methods for establishing geodesic λ-convexity of the entropy functional by purely differential methods, thus circumventing argu...
متن کاملDiscretization of functionals involving the Monge-Ampère operator
Gradient flows in the Wasserstein space have become a powerful tool in the analysis of diffusion equations, following the seminal work of Jordan, Kinderlehrer and Otto (JKO). The numerical applications of this formulation have been limited by the difficulty to compute the Wasserstein distance in dimension > 2. One step of the JKO scheme is equivalent to a variational problem on the space of con...
متن کاملMetric measure spaces with Riemannian Ricci curvature bounded from below
In this paper we introduce a synthetic notion of Riemannian Ricci bounds from below for metric measure spaces (X, d,m) which is stable under measured Gromov-Hausdorff convergence and rules out Finsler geometries. It can be given in terms of an enforcement of the Lott, Sturm and Villani geodesic convexity condition for the entropy coupled with the linearity of the heat flow. Besides stability, i...
متن کاملAbsolute Continuity of Wasserstein Geodesics in the Heisenberg Group
In this paper we answer to a question raised by Ambrosio and Rigot [2] proving that any interior point of a Wasserstein geodesic in the Heisenberg group is absolutely continuous if one of the end-points is. Since our proof relies on the validity of the so-called Measure Contraction Property and on the fact that the optimal transport map exists and the Wasserstein geodesic is unique, the absolut...
متن کاملFirst variation formula in Wasserstein spaces over compact Alexandrov spaces
We extend results proven by the second author ([Oh]) for nonnegatively curved Alexandrov spaces to general compact Alexandrov spacesX with curvature bounded below: the gradient flow of a geodesically convex functional on the quadratic Wasserstein space (P(X),W2) satisfies the evolution variational inequality. Moreover, the gradient flow enjoys uniqueness and contractivity. These results are obt...
متن کامل